formal power

形式幂